msg{-}rename(${\it rtinv}$;$m$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<$$m$.1, outl(${\it rtinv}$(($m$.2).1)), $m$.2.2$>$